* os.texi (Time of Day): Clarify that the microsecond part is
authorChong Yidong <cyd@stupidchicken.com>
Thu, 15 Oct 2009 20:44:36 +0000 (20:44 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Thu, 15 Oct 2009 20:44:36 +0000 (20:44 +0000)
commit4991014403ff93b20be2c0480b6784d497d3ba44
tree5dbca989b829c09958c88902d5b28c738d066794
parent8b9457b8f2945b8ee2b5f1bf091c4d3911bfda6f
* os.texi (Time of Day): Clarify that the microsecond part is
ignored (Bug#4637).
doc/lispref/ChangeLog
doc/lispref/os.texi